<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8" />
    <title>Idris Packages</title>
    <link rel="stylesheet" href="default.css" />
  </head>
  <body class="index">
    <header>
      <strong>Idris2Doc</strong>
      <nav><a href="index.html">Index</a></nav>
    </header>
    <div class="container">
      <h1>Idris Packages</h1>
      <ul class="names">
        <li><a class="code" href="prelude/index.html">prelude</a></li>
        <li><a class="code" href="base/index.html">base</a></li>
        <li><a class="code" href="linear/index.html">linear</a></li>
        <li><a class="code" href="network/index.html">network</a></li>
        <li><a class="code" href="contrib/index.html">contrib</a></li>
        <li><a class="code" href="test/index.html">test</a></li>
      </ul>
    </div>
  </body>
</html>
